4 Truth Functional Connectives